1

The double negation of the intermediate value theorem

Year:
2010
Language:
english
File:
PDF, 525 KB
english, 2010
3

Avicenna on the Primary Propositions

Year:
2018
Language:
english
File:
PDF, 518 KB
english, 2018
6

Completeness of intermediate logics with doubly negated axioms

Year:
2014
Language:
english
File:
PDF, 163 KB
english, 2014
11

Construction safety risk drivers: A BIM approach

Year:
2016
Language:
english
File:
PDF, 1.03 MB
english, 2016
12

Basic Propositional Calculus I

Year:
1998
Language:
english
File:
PDF, 1.59 MB
english, 1998
32

A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS

Year:
2012
Language:
english
File:
PDF, 76 KB
english, 2012
39

Reduction of provability logics to Σ 1 -provability logics

Year:
2015
Language:
english
File:
PDF, 83 KB
english, 2015
41

Every Rooted Narrow Tree Kripke Model of HA is Locally PA

Year:
2002
Language:
english
File:
PDF, 128 KB
english, 2002